completion of a field

域完全化